<HTML><HEAD><TITLE>library(lint)</TITLE></HEAD><BODY>
[ <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]<H1>library(lint)</H1>
Heuristic program checker
<H2>Predicates</H2>
<BLOCKQUOTE>
<DL>
<DT><A HREF="lint-1.html"><STRONG>lint(+File)</STRONG></A></DT>
<DD>Check the given source module file</DD>
<DT><A HREF="lint-2.html"><STRONG>lint(+File, +Options)</STRONG></A></DT>
<DD>Check the given source module file</DD>
<DT><STRONG>saros_lint(?)</STRONG></DT>
<DD>No description available</DD>
</DL>
</BLOCKQUOTE>
<H2>Description</H2>

    This library analyses an ECLiPSe source module or file and generates
    warning messages for dubious programming constructs and violation
    of naming conventions.
    
<H2>About</H2><UL COMPACT>
<LI><STRONG>Author: </STRONG>Joachim Schimpf, IC-Parc
<LI><STRONG>Copyright &copy; </STRONG>Cisco Systems, Inc.
<LI><STRONG>Date: </STRONG>$Date: 2009/02/19 06:09:22 $
</UL>
<HR>Generated from lint.eci on 2009-05-27 01:25
</BODY></HTML>
